1/(\int_0^1 2^x dx)